BibTex

STC-BioComputing Publications

International Journals

  1. [2010] Mathias John and Cédric Lhoussaine and Joachim Niehren and Adelinde Uhrmacher, The Attributed Pi Calculus with Priorities, Transactions on Computational Systems Biology XII 5945, 13-76
  2. [2009] Céline Kuttler and Cédric Lhoussaine and Mirabelle Nebut, Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon, Transactions on Computational Systems Biology XII 5945, 199-228

International Conferences

  1. [2009] Mathias John and Cédric Lhoussaine and Joachim Niehren, Dynamic Compartments in the Imperative Pi Calculus, Computational Methods in Systems Biology, 7th International Conference, Lecture Notes in Computer Science 5688, 235-250
  2. [2009] Céline Kuttler and Cédric Lhoussaine and Mirabelle Nebut, Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon, International Winter Simulation Conference
  3. [2008] Mathias John and Cédric Lhoussaine and Joachim Niehren and Adelinde Uhrmacher, The Attributed Pi Calculus, Computational Methods in Systems Biology, 6th International Conference, Lecture Notes in Computer Science 5307, 83-102
  4. [2007] Céline Kuttler and Cédric Lhoussaine and Joachim Niehren, A Stochastic Pi Calculus for Concurrent Objects, Second International Conference on Algebraic Biology, Lecture Notes in Computer Science 4545, 232-246

International Workshops

  1. [2006] Céline Kuttler and Cédric Lhoussaine and Joachim Niehren, A Stochastic Pi Calculus for Concurrent Objects, 1st International Workshop on Probabilistic Automata and Logics





Valid HTML 4.01! Valid CSS!